- частная верификация
-
частная верификация
Доказательство правильности программ, учитывающее основные, но не все возможные факторы.
[Домарев В.В. Безопасность информационных технологий. Системный подход.]Тематики
- защита информации
EN
- partial verification
Справочник технического переводчика. – Интент. 2009-2013.
гипотеза — научное предположение, выдвигаемое для объяснения некоего явления, подлежащее опытной проверке и теоретическому обоснованию для приобретения статуса научной теории. В психологии предположение об отдельных свойствах реальности, выдвигаемое для… … Большая психологическая энциклопедия
ЭРИСТИКА — в культуре 20 в. искусство спорить (греч.). Термин “Э.” предложил Аристотель, характеризуя “софистические опровержения”, т.е. борьбу в споре нечистыми средствами. Гнев Аристотеля понятен: античный философ отвергал извращение одной … Энциклопедия культурологии
Оккупация — У этого термина существуют и другие значения, см. Оккупация (значения). Оккупация (от лат. occupatio «захват, занятие») в общем случае занятие вооружёнными силами государства не принадлежащей ему территории, не сопровождающееся… … Википедия
Фрейд, Зигмунд — Запрос «Фрейд» перенаправляется сюда; см. также другие значения. Зигмунд Фрейд Sigismund Schlomo Freud … Википедия
Оккупант — Оккупация (от лат. occupatio захват, занятие) в общем случае занятие вооружёнными силами государства не принадлежащей ему территории, не сопровождающееся обретением суверенитета над ней, обычно временное. Оккупацию следует отличать от аннексии,… … Википедия
СОЦИОЛОГИЯ МЕДИЦИНЫ И ЗДРАВООХРАНЕНИЯ — отрасль социологии, которая изучает широкий спектр проблем, связанных с ролью здравоохранения и медицины в современном обществе. Или отрасль социологии, объединяющая исследования, направленные на изучение социальных явлений и фактов, социальных… … Социология: Энциклопедия
частная верификация
18+
© Академик, 2000-2025
- Обратная связь: Техподдержка, Реклама на сайте
Экспорт словарей на сайты, сделанные на PHP, Joomla, Drupal, WordPress, MODx.